Proof that f(a) = a^(-1) is a Group Isomorphism if G is Abelian